首页> 外文OA文献 >Probabilistic algorithms for deciding equivalence of straight-line programs

【2h】

Probabilistic algorithms for deciding equivalence of straight-line programs

机译：用于确定直线程序等价性的概率算法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Oscar H. Ibarra; Shlomo Moran;
展开▼
作者单位

展开▼
年度 1983
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs [J] . Huang Qiao-Long, Gao Xiao-Shan Journal of symbolic computation . 2020,第NovaaDeca期

机译：直线程序给出的稀疏多变量多项式的插值算法更快
2. Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups [J] . Mishchenko A.A., Treier A.V. Algebra and logic . 2013,第2期

机译：部分可交换幂等群的通用等价问题的算法可判定性
3. An efficient algorithm to test square-freeness of strings compressed by straight-line programs [J] . Hideo Bannai, Travis Gagie, Tomohiro I, Information Processing Letters . 2012,第19期

机译：一种测试直线程序压缩的字符串的平方自由度的有效算法
4. The complexity of the equivalence problem for straight-line programs [C] . Oscar H. Ibarra, Brian S. Leininger Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing . 1980

机译：直线程序等价问题的复杂性
5. Criteria civil engineers use in deciding whether or not to participate in non-credit continuing engineering education programs [D] . O'Shaughnessy, Rilla Diane 1992

机译：土木工程师使用标准来决定是否参加非学分的继续工程教育计划
6. Two Efficient Label-Equivalence-Based Connected-Component Labeling Algorithms for 3-D Binary Images [O] . Lifeng He, Yuyan Chao, Kenji Suzuki -1

机译：双高效基于标签的等价连通区域标记算法3 d二值图像
7. An algorithm deciding functional equivalence in a new class of program schemes [O] . Sabelfeld Victor K. 1990

机译：决定新型程序方案中功能对等的算法

Probabilistic algorithms for deciding equivalence of straight-line programs

著录项

引文网络

相似文献

相关主题

期刊订阅